Isaac Newton's philosophiae naturalis principia mathematica
نویسندگان
چکیده
منابع مشابه
Seminar 7: the Logic of Principia Mathematica
Volume 1 of Principia Mathematica, in which Russell and Whitehead set out their reduction of arithmetic to logic was published in 1910. Although the reduction adopts a conception of number very much like Frege’s, it is developed in a system of logic designed to avoid the paradox that defeated Frege. Avoiding it required giving up the idea that for every formula in the logical language, there is...
متن کاملAn Automated Derivation of the Sentential Calculus of Principia Mathematica from Łukasiewicz's CN
The optimization of computing systems hosted on Boolean-circuit-based computing equipment must be expressed at some level in Boolean behaviors and operations. Boolean behaviors and operations are part of a larger family of logics -the logic of sentences, also known as the "sentential calculus". Two logics are implicationally equivalent if the axioms and inference rules of each imply the axioms ...
متن کاملPeriodic Solutions of Some Differential Equations with Nonlinear Damping
The scientific legacy of Isaac Newton is remembered mainly for the discovery of infinitesimal calculus, at the same time of Leibniz, and gravitational theory, which explains completely the motion of the planets. After the revolution made by Newton’s laws in the knowledge of the universe, the interest of the scientific community was centered mainly on conservative systems, due to the influence o...
متن کاملAn Automated Derivation of Łukasiewicz's CN from the Sentential Calculus of Principia Mathematica
The optimization of computing systems that incorporate Boolean-circuit-based computing equipment must be expressed at some level in Boolean behaviors and operations. Boolean behaviors and operations are part of a larger family of logics -the logic of sentences, also known as the "sentential calculus". Two logics are implicationally equivalent if the axioms and inference rules of each imply the ...
متن کاملForthcoming in Philosophia Naturalis
The main claim that I want to defend in this paper is that the there are logical equivalences between eternalism and perdurantism on the one hand and presentism and endurantism on the other. By “logical equivalence” I mean that one position is entailed and entails the other. As a consequence of this equivalence, it becomes important to inquire into the question whether the dispute between endur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Historia Mathematica
سال: 1976
ISSN: 0315-0860
DOI: 10.1016/0315-0860(76)90060-4